logical formulae - French English Dictionary